A function which at each point t of the sample space has as its value the probability that a given random variable is less than (or equal) t. In symbols, F_X(t) = \mathrm{Pr}(X \le t).